Armstrong's Axioms and Navigation Strategies

Common Knowledge Semantics of Armstrong's Axioms

Armstrong’s axioms were originally proposed to describe functional dependency between sets of attributes in relational databases. The database semantics of these axioms can be easily rephrased in terms of distributed knowledge in multi-agent systems. The paper proposes alternative semantics of the same axioms in terms of common knowledge. The main technical result of this work is soundness and ...

Author’s response to reviews Title: Implementation strategies to improve cervical cancer prevention in sub-Saharan Africa: a systematic review Authors:

Title: Implementation strategies to improve cervical cancer prevention in sub-Saharan Africa: a systematic review Authors: Lauren Johnson ([email protected]) Allison Armstrong ([email protected]) Caroline Joyce ([email protected]) Anne Teitelman ([email protected]) Alison Buttenheim ([email protected]) Version: 1 Date: 22 Nov 2017 Author’s response to reviews: ...

Extracting Knowledge from Incomplete Data

Decision-makers are often met with situations where optimal decisions have to be made in the presence of missing information. To facilitate such work we propose application of Armstrong axioms. Key–Words: Decision support systems, uncertainty management, inference axioms

Contrasts and Demons: On Sinnott-Armstrong’s moderate Pyrrhonian scepticism

Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net

Database administrators need to compute closure of functional dependencies (FDs) for normalization of database systems and enforcing integrity rules. Colored Petri net (CPN) is a powerful formal method for modelling and verification of various systems. In this paper, we modelled Armstrong's axioms for automatic proof generation of a new FD rule from initial FD rules using CPN. For this purpose,...